lifted proof